35

Acquiring knowledge from inconsistent data sources through weighting

Année:
2010
Langue:
english
Fichier:
PDF, 358 KB
english, 2010
36

ENDL: A Logical Framework for Verifying Secure Transaction Protocols

Année:
2005
Langue:
english
Fichier:
PDF, 951 KB
english, 2005
37

Arithmetical properties of the number oft-core partitions

Année:
2009
Langue:
english
Fichier:
PDF, 282 KB
english, 2009
38

Dealing with inconsistent secure messages by weighting majority

Année:
2011
Langue:
english
Fichier:
PDF, 274 KB
english, 2011